/**
* @author AlbertDarren
* @contact 2563491540@qq.com
*/
#include <iostream>
#include <iomanip>
using namespace std;

int main_65()
{
    int n;
    double d;
    char s[101];
    cin>>n>>d;
    getchar();//get the newline charactor
    cin.getline(s,101);
    cout << n << endl;
    cout << setiosflags(ios::fixed)<<setprecision(2) <<d<< endl;
    cout << s << endl;
    return 0;
}
